((v3 v8 0) (v2 v9 6) (v8 v4 4) (v5 v2 3) (v3 v9 1) (v9 v1 7) (v7 v8 8) (v8 v2 1) (v6 v8 2) (v3 v6 4) (v1 v8 6) (v7 v5 1) (v3 v5 8) (v6 v9 5) (v4 v2 8) (v6 v4 2) (v9 v7 0) (v5 v6 6) (v1 v3 2) (v9 v4 4) (v5 v10 6) (v10 v7 1) (v5 v9 8) (v8 v9 4) (v10 v1 2))
105
((v7 v4) (v2 v5) (v8 v6) (v1 v6) (v7 v3))